EventsWithState  EventsWithOrder 

latex

Definitions	EventsWithState, EventsWithOrder, EqDecider(T), Unit, IdLnk, EOrderAxioms(E; pred?; info), S  T, P  Q, x:A. B(x), Id, A, Top, t  T
Lemmas	top wf, EOrderAxioms wf, IdLnk wf, Id wf, unit wf, deq wf, EOrder wf, EState wf